Around Logical Perfection
نویسندگان
چکیده
In this article we present a notion of “logical perfection”. We first describe through examples logical perfection extracted from the contemporary concept categoricity. Categoricity (in power) has become in past half century main driver ideas model theory, both mathematically (stability theory may be regarded as way approximating categoricity) and philosophically. two decades, categoricity notions have started to overlap with more classical robustness smoothness. These been crucial various parts mathematics since nineteenth century. postulate category perfection. draw on 19th 20th centuries then trace relation power what “mathematically perfect” structure is.
منابع مشابه
Testing perfection is hard
A graph property P is strongly testable if for every fixed > 0 there is a one-sided -tester for P whose query complexity is bounded by a function of . In classifying the strongly testable graph properties, the first author and Shapira showed that any hereditary graph property (such as P the family of perfect graphs) is strongly testable. A property is easily testable if it is strongly testable ...
متن کاملProfiling, Performance, and Perfection
A profile is “a set of data often in graphic form portraying the significant features of something”. [Web88] Profiles can help us to quickly understand a person or entity better. In the development of computer-based applications, profiles are invaluable. They help us to understand the application – how it works, how well it works, whether it in fact works as we think it does, and whether it is ...
متن کاملPerfection for Pomonoids
A pomonoid S is a monoid equipped with a partial order that is compatible with the binary operation. In the same way that M -acts over a monoid M correspond to the representation of M by transformations of sets, S-posets correspond to the representation of a pomonoid S by order preserving transformations of posets. Following standard terminology from the theories of R-modules over a unital ring...
متن کاملPerfection thickness of graphs
We determine the order of growth of the worst-case number of perfect subgraphs needed to cover an n-vertex graph.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoria
سال: 2021
ISSN: ['1665-6415']
DOI: https://doi.org/10.1111/theo.12274